Técnicas de resolución de problemas de satisfacción de restricciones

Muchos de los problemas que se plantean en Inteligencia Artificial pueden formalizarse como un problema de satisfacción de restricciones (CSP) y, luego, resolverse utilizando las técnicas de resolución que se han desarrollado para CSPs. En este artı́culo, empezamos definiendo el concepto de CSP y presentando algunos ejemplos de modelización de problemas combinatorios como CSPs. A continuación, describimos en detalle las técnicas de resolución de CSPs más utilizadas: algoritmos de propagación de restricciones (nodo consistencia, arco consistencia y k-consistencia), algoritmos de búsqueda (generate and test, backtracking, backjumping y conflict-directed backjumping) y algoritmos hı́bridos (forward checking y maintaining arc consistency).